home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / misc / cabern.zip / EXAMPLES / CONS.NET < prev    next >
Encoding:
Text File  |  1994-09-08  |  2.7 KB  |  75 lines
  1.  
  2. (TimedNet$cons10#
  3. (TimedPlace$Producer_ready896#576#100#2#1#1#0#;1timed_int)
  4. (TimedPlace$Producer_after_communication896#1792#100#2#1#2#1#
  5. (TimedToken$Tk3T00#);1timed_NKvoid)
  6. (TimedPlace$Consumer_ready2624#576#100#2#1#3#1#
  7. (TimedToken$Tk2T00#);1timed_NKvoid)
  8. (TimedPlace$Consumer_after_communication2624#1792#100#2#1#4#0#;1timed_int)
  9. (TimedTransition$produce320#1152#100#1#1#5#TRUEstruct timeb buffer;
  10. ftime(&buffer);
  11. srandom((int)buffer.millitm);
  12. Producer_ready.value=(int)(random() % 300);
  13. cerr << Producer_ready.value << endl;enab + 2.5enab + 3STRONG)
  14. (TimedTransition$communicate1792#1152#100#1#1#17#TRUEConsumer_after_communication.value=Producer_ready.value;Producer_ready.time + 3Producer_ready.time + 8STRONG)
  15. (TimedTransition$consume_wk3456#1152#100#1#1#7#TRUEstat.value.count3++;enab + 3enab + 5WEAK)
  16. (TimedPlace$stat3219#1442#100#2#1#8#1#
  17. (TimedToken$Tk10
  18. 0
  19. 0T00#);1timed_my_record)
  20. (TimedTransition$consume_even2944#1152#100#1#1#9#(Consumer_after_communication.value %2 ==1)stat.value.count2++;enab + 5enab + 20STRONG)
  21. (TimedTransition$consume_odd2432#1152#100#1#1#10#(Consumer_after_communication.value %2 ==0)stat.value.count1++;enab+18enab+18STRONG)18#
  22. (Arc$A1320#576#0#0#0#0#0#0#20#0#1#8^2^1)
  23. (Arc$A21600#576#0#0#0#0#0#0#20#0#1#2^9^1)
  24. (Arc$A31920#576#0#0#0#0#0#0#20#0#1#5^9^1)
  25. (Arc$A41568#1792#0#0#0#0#0#0#20#0#1#9^3^1)
  26. (Arc$A5320#1792#0#0#0#0#0#0#20#0#1#3^8^1)
  27. (Arc$A61952#1792#0#0#0#0#0#0#20#0#1#9^7^1)
  28. (Arc$A73456#1792#0#0#0#0#0#0#20#0#1#7^10^1)
  29. (Arc$A83456#576#0#0#0#0#0#0#20#0#1#10^5^1)
  30. (Arc$A90#0#0#0#0#0#0#0#20#0#1#10^11^1)
  31. (Arc$A100#0#0#0#0#0#0#0#20#0#1#11^10^1)
  32. (Arc$A112944#1632#0#0#0#0#0#0#20#0#1#7^13^1)
  33. (Arc$A122432#1632#0#0#0#0#0#0#20#0#1#7^14^1)
  34. (Arc$A132432#768#0#0#0#0#0#0#20#0#1#14^5^1)
  35. (Arc$A142944#768#0#0#0#0#0#0#20#0#1#13^5^1)
  36. (Arc$A150#0#0#0#0#0#0#0#20#0#1#13^11^1)
  37. (Arc$A160#0#0#0#0#0#0#0#20#0#1#11^13^1)
  38. (Arc$A170#0#0#0#0#0#0#0#20#0#1#14^11^1)
  39. (Arc$A180#0#0#0#0#0#0#0#20#0#1#11^14^1)10##include <sys/types.h>
  40. #include <sys/times.h>
  41. #include <sys/timeb.h>
  42. class NKvoid {
  43.     public:
  44.         friend istream & operator >>(istream & strm, NKvoid & t)
  45.             {return strm;}
  46.             
  47.         friend ostream & operator << (ostream & strm, NKvoid  t)
  48.             {return strm;}
  49.         };
  50.  
  51. class my_record{
  52.     public:
  53.         int count1;
  54.         int count2;
  55.         int count3;
  56.         friend istream & operator >>(istream & strm, my_record & t)
  57.             {
  58.             strm >> t.count1 >> t.count2 >> t.count3;
  59.             return strm;
  60.             }
  61.             
  62.         friend ostream & operator << (ostream & strm, my_record  t)
  63.             {
  64.             strm << t.count1 <<"\n"<< t.count2 << "\n"<< t.count3 <<"\n";
  65.             return strm;
  66.             }
  67.         };
  68.  
  69. TIMED_CLASS(NKvoid)
  70.  
  71. TIMED_CLASS(int)
  72.  
  73. TIMED_CLASS(my_record)
  74.         
  75. T0==0)